Bunches of Objects
نویسندگان
چکیده
We describe how to specify object-oriented systems using the bunch notation [5] of predicative programming [6]. We specify class interfaces and definitions, static and dynamic collections of objects, methods, inheritance, and polymorphism, and use the approach in two examples. In the process, we consider limitations with the technique, and contrast it with using the Z style of [4].
منابع مشابه
Garbage Collection of Persistent Objects in Distributed Shared Memory
This paper describes a garbage collection algorithm for distributed persistent objects in a loosely coupled network of workstations. Objects are accessed via a weakly consistent shared distributed virtual memory with recoverable properties. We address the speciic problem of garbage collecting a large amount of distributed persistent objects, cached on several nodes for eecient sharing. For clus...
متن کاملImpact of Salicylic Acid on Phenolic Metabolism and Antioxidant Activity in Four Grape Cultivars during Cold Storage
Salicylic acid (SA) plays an important role in the regulation of plant ripening and responses to abiotic stresses. In this study, the protective effect of SA on cold stress-caused oxidative damage in grape (Vitis vinifera L.) bunches was investigated during cold storage. Grape bunches treated with 2 mM SA and stored at 0°C with 85-90% RH for 30 days. Samples were selected from each treatment ...
متن کاملGraham Oddie Permanent Possibilities of Sensation
Idealism apparently comes in both an extravagant and a more modest form. The extravagant, Berkeleyan brand maintains that objects are nothing more than bunches of occurrent experiences. Recasting this thesis in terms of the totality of facts about objects, the extravagant idealist affirms that all facts are settled by the purely mental facts. If a fact of any sort at all obtains then that fact ...
متن کاملModes of Oscillation of Trains of Bunches
In storage rings which operate with trains of bunches at high currents the observation of the motion of these bunches is quite important. An important reason is that the storage ring is often attempting to operate at or above the instability threshold for coupled bunch instabilities of the beam(s) and these observations are necessary to help to identify the cause of the instability and its poss...
متن کاملLongitudinal Stability of Short Bunches in Storage Rings with Strong Longitudinal Focusing*
In the BESSY VSR project, the variable bunch length storage ring, two high gradient accelerating structures at 1.5 and 1.75 GHz will be phased such that long and short bunches can be stored simultaneously. The longitudinal stability of the short bunches is investigated taking into account the shielded CSRand a purely inductive impedance. Multi particle tracking studies and numerical solutions o...
متن کامل